FDL - Nuprl Definition : R-realizes

Nuprl Definition : R-realizes

0,22

R ||- es.P(es) == R-Feasible(R) & (

es:ES. Consistent(R;es)

P(es))

clarification:

R ||-{i} es.P(es) == R-Feasible{i:l}(R) & (

es:ES{i}. Consistent(R;es)

P(es))

Definitions P & Q, R-Feasible(R), x:A. B(x), ES, P Q, Consistent(R;es)

FDL editor aliases R-realizes

Definitions	P & Q, R-Feasible(R), x:A. B(x), ES, P Q, Consistent(R;es)
FDL editor aliases	R-realizes